위키 홈 Edit Type theory 2024-09-08 (modified: 2024-11-26) 별칭: 타입 이론, 유형론 Books Intuitionistic Type Theory by Per Martin-Löf Proofs and types